Domain 1a-websearch.de kaufen?
Wir ziehen mit dem Projekt
1a-websearch.de um.
Sind Sie am Kauf der Domain
1a-websearch.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain 1a-websearch.de kaufen?
Stochastic Model Checking, Fachbücher von Anne Remke, Mariëlle Stoelinga
Das Buch "Stochastic Model Checking" bietet eine umfassende Einführung in die Anwendung stochastischer Modelle in der Informatik. Es behandelt zentrale Themen wie Leistungsmodellierung, die Analyse von zufälligen Algorithmen und Kommunikationsprotokollen, die für die Struktur des Internets von Bedeutung sind. Stochastic Model Checking hat sich als ein bedeutendes Forschungsfeld etabliert, das durch systematische Methoden zur Modellierung und Analyse stochastischer Systeme besticht. Die in diesem Buch enthaltenen sieben Tutorial-Vorträge wurden von führenden Wissenschaftlerinnen und Wissenschaftlern auf der ROCKS Herbstschule zum Thema Stochastic Model Checking präsentiert. Die Kapitel wurden in zwei Überarbeitungsrunden geprüft und verbessert und bieten einen Überblick über den aktuellen Stand der Technik in den Bereichen stochastische Modelle, Abstraktionstechniken und stochastische Modellprüfung.
51,36 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Model Checking
Top-Angebote
Produkte zum Begriff Model Checking:
Top-Angebote
Produkte zum Begriff Model Checking:
-
Stochastic Model Checking, Fachbücher von Anne Remke, Mariëlle StoelingaDas Buch "Stochastic Model Checking" bietet eine umfassende Einführung in die Anwendung stochastischer Modelle in der Informatik. Es behandelt zentrale Themen wie Leistungsmodellierung, die Analyse von zufälligen Algorithmen und Kommunikationsprotokollen, die für die Struktur des Internets von Bedeutung sind. Stochastic Model Checking hat sich als ein bedeutendes Forschungsfeld etabliert, das durch systematische Methoden zur Modellierung und Analyse stochastischer Systeme besticht. Die in diesem Buch enthaltenen sieben Tutorial-Vorträge wurden von führenden Wissenschaftlerinnen und Wissenschaftlern auf der ROCKS Herbstschule zum Thema Stochastic Model Checking präsentiert. Die Kapitel wurden in zwei Überarbeitungsrunden geprüft und verbessert und bieten einen Überblick über den aktuellen Stand der Technik in den Bereichen stochastische Modelle, Abstraktionstechniken und stochastische Modellprüfung.51,36 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Model Checking
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.